widget: Drop the :is-focus property
authorMatthias Clasen <mclasen@redhat.com>
Fri, 3 Apr 2020 00:30:17 +0000 (20:30 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 9 Apr 2020 21:50:29 +0000 (17:50 -0400)
commitc1459cc45b90d420241086f7043e7e4dc5e93902
treeaa11ef3383cf6d145ffbddbd1dedee6b29a4f052
parent4fe8c037c78c759c0876cc009e3d3fe413a86e4b
widget: Drop the :is-focus property

This property doesn't carry any new information compared
to GtkWindow:focus-widget. We still keep the gtk_widget_is_focus
getter, as a convenient shortcut.
gtk/gtkwidget.c